<?hh <<__EntryPoint>> function main(): void {
$a = str_repeat("/", 9000000);
var_dump(iconv_mime_decode_headers("a", 0, $a));
}
